_require "104_functorlink3.smi"
val F : unit
